| 1. | The theory of logical : a new logic field remaining to be researched
有待认知的逻辑学新领域 |
| 2. | Mountains - forming : new logic of knowledge and learning based enterprise
以知识和学习为基础的企业的新逻辑 |
| 3. | New logic of organization reform of equipment support in information condition
信息化条件下装备保障组织变革的新逻辑 |
| 4. | An important later development in nyaya is the system of navya nyaya ( new logic )
正理派后来的一个重要发展就是新逻辑系统。 |
| 5. | The new institutional economics ' model transformation and its brand - new logic interpretation power
新制度经济学的范式转换及其全新的逻辑解释力 |
| 6. | The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
中介逻辑命题演算系统mp ~ m和中介逻辑谓词演算系统mf ~ m是一种适用于处理不完全信息的新的逻辑系统。 |
| 7. | Left - continuous t - norm was connected with implication operator and logic system could be built by implication operator . the aim of this paper is to give new logic systems by constructing implication operators which are different from rq operator
由于左连续t -模与蕴涵算子的关系十分密切，因此构造新的左连续t -模就成为得到新的蕴涵算子的有效途径。 |
| 8. | The language has a strong logic and can be applied easily . a famous electronic commerce protocol ? secure electornic transaction ( set ) is also simply introduced and abstracted . at last , the abstracted protocol is especially analyzed and verified completely by the new logic
作者还简单介绍了著名的电子商务协议?安全电子交易( set )协议，并对其进行逻辑抽象，最后着重用提出的新逻辑对抽象化后的set协议进行了完全的分析与验证。 |
| 9. | The extended fuzzy description logic introduces the cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles , and inherits the concept constructors and knowledge base form of classical description logics to support a new logic system for knowledge representation
扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系，继承经典描述逻辑中的概念构造器和知识库形式，建立新的知识表示逻辑体系。 |
| 10. | This dissertation is composed of follows : a ) introducing new logic operator into the traditional agent bdi model , including bel , asm , des , goal and int , in order to describe the dynamic restrictions and interactive triggering relations between belief , desire and intention of agent . a new intentional model was built in complementation of the kd45 regular modal logic axiom , which is the base of agent self - control interaction with the outer environment
在传统的理性agent的bdi形式化逻辑模型中作者引入新的逻辑算子bel 、 asm 、 des 、 goal和int等，表达了信念、愿望和意图三者间的动态约束与相互激发关系，补充了正规模态逻辑的kd45公理，建立agent从信念到动作选择的的意图模型，为研究agent与环境交互的自主行为模式提供了理性化模型。 |
